Manfred Broy (auth.): αναζήτηση στον ιστότοπο της Z-Library

Ελεύθερη πρόσβαση στη γνώση και τον πολιτισμό.

Don't use scam websites

Βιβλία (69)
Τα πιο δημοφιλή
Λίστα
- Λίστα
- Πίνακας

1

Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 23.23 MB

0 / 0

english, 2004

2

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 4.65 MB

0 / 0

english, 2006

3

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1985

Γλώσσα:

english

Αρχείο:

DJVU, 5.69 MB

0 / 0

english, 1985

4

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

5

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Springer Berlin Heidelberg

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

Έτος:

2001

Γλώσσα:

english

Αρχείο:

PDF, 34.05 MB

0 / 0

english, 2001

6

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 5.15 MB

0 / 0

english, 2013

7

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

PDF, 8.22 MB

0 / 0

english, 1996

8

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.20 MB

0 / 0

german, 2010

9

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 5.87 MB

0 / 0

english, 2005

10

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 8.59 MB

0 / 0

english, 2012

11

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 13.88 MB

0 / 0

english, 2009

12

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

PDF, 6.23 MB

0 / 5.0

english, 1996

13

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.36 MB

0 / 0

german, 2010

14

Program Design Calculi

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

Έτος:

1993

Γλώσσα:

english

Αρχείο:

PDF, 13.42 MB

0 / 0

english, 1993

15

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

Έτος:

1996

Γλώσσα:

english

Αρχείο:

DJVU, 3.86 MB

0 / 0

english, 1996

16

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 6.11 MB

0 / 0

english, 2005

17

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Έτος:

2003

Γλώσσα:

english

Αρχείο:

PDF, 7.03 MB

0 / 0

english, 2003

18

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

Έτος:

2009

Γλώσσα:

english

Αρχείο:

PDF, 35.10 MB

0 / 0

english, 2009

19

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Έτος:

2003

Γλώσσα:

english

Αρχείο:

PDF, 5.85 MB

0 / 0

english, 2003

20

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

Έτος:

2010

Γλώσσα:

german

Αρχείο:

PDF, 1.26 MB

0 / 5.0

german, 2010

21

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Springer-Verlag Berlin Heidelberg

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 10.50 MB

0 / 0

english, 2012

22

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1985

Γλώσσα:

english

Αρχείο:

PDF, 26.53 MB

0 / 0

english, 1985

23

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1992

Γλώσσα:

english

Αρχείο:

PDF, 31.22 MB

0 / 0

english, 1992

24

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Έτος:

1982

Γλώσσα:

english

Αρχείο:

PDF, 43.75 MB

0 / 0

english, 1982

25

Software Pioneers: Contributions to Software Engineering

Software Pioneers: Contributions to Software Engineering

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

Έτος:

2002

Γλώσσα:

english

Αρχείο:

PDF, 305.89 MB

0 / 0

english, 2002

26

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Έτος:

2002

Γλώσσα:

german

Αρχείο:

PDF, 10.18 MB

0 / 0

german, 2002

27

VDI-Lexikon Informatik und Kommunikationstechnik

VDI-Lexikon Informatik und Kommunikationstechnik

Springer-Verlag Berlin Heidelberg

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

Έτος:

1999

Γλώσσα:

german

Αρχείο:

PDF, 34.77 MB

0 / 0

german, 1999

28

Model-Based Testing of Reactive Systems: Advanced Lectures

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

Έτος:

2005

Γλώσσα:

english

Αρχείο:

PDF, 5.92 MB

0 / 0

english, 2005

29

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Έτος:

1979

Γλώσσα:

english

Αρχείο:

PDF, 10.85 MB

0 / 0

english, 1979

30

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Logic of Programming and Calculi of Discrete Design: International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare

Springer-Verlag Berlin Heidelberg

Richard S. Bird (auth.), Manfred Broy (eds.)

Έτος:

1987

Γλώσσα:

english

Αρχείο:

PDF, 12.98 MB

0 / 0

english, 1987

31

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

Έτος:

1995

Γλώσσα:

german

Αρχείο:

PDF, 9.57 MB

0 / 0

german, 1995

32

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

Έτος:

1998

Γλώσσα:

german

Αρχείο:

PDF, 14.65 MB

0 / 0

german, 1998

33

Program Construction: International Summer School

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

Έτος:

1979

Γλώσσα:

english

Αρχείο:

DJVU, 4.87 MB

0 / 0

english, 1979

34

Mathematical Methods in Program Development

Mathematical Methods in Program Development

Springer-Verlag Berlin Heidelberg

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

Έτος:

1997

Γλώσσα:

english

Αρχείο:

PDF, 21.26 MB

0 / 0

english, 1997

35

Projektorganisation und Management im Software Engineering

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

Έτος:

2013

Γλώσσα:

german

Αρχείο:

PDF, 5.66 MB

0 / 0

german, 2013

36

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 4.08 MB

0 / 0

english, 2008

37

Advances in real-time systems

Advances in real-time systems

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 8.31 MB

0 / 0

english, 2012

38

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)

Έτος:

2013

Γλώσσα:

english

Αρχείο:

PDF, 16.68 MB

0 / 0

english, 2013

39

Informatik: Eine grundlegende Einführung Teil 3: Systemstrukturen und systemnahe Programmierung

Informatik: Eine grundlegende Einführung Teil 3: Systemstrukturen und systemnahe Programmierung

Springer-Verlag Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

Έτος:

1994

Γλώσσα:

german

Αρχείο:

PDF, 11.53 MB

0 / 0

german, 1994

40

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

Έτος:

1998

Γλώσσα:

german

Αρχείο:

PDF, 22.98 MB

0 / 0

german, 1998

41

Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Informatik: Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Springer-Verlag Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

Έτος:

1992

Γλώσσα:

german

Αρχείο:

PDF, 7.23 MB

0 / 0

german, 1992

42

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

Informatik: Eine grundlegende Einführung Teil II. Rechnerstrukturen und maschinennahe Programmierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

Έτος:

1993

Γλώσσα:

german

Αρχείο:

PDF, 4.36 MB

0 / 0

german, 1993

43

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Έτος:

1982

Γλώσσα:

english

Αρχείο:

PDF, 60.74 MB

0 / 0

english, 1982

44

Modellbildung in der Informatik

Modellbildung in der Informatik

Springer-Verlag Berlin Heidelberg

Manfred Broy, Ralf Steinbrüggen (auth.)

Έτος:

2004

Γλώσσα:

german

Αρχείο:

PDF, 21.33 MB

0 / 0

german, 2004

45

Projektorganisation und Management im Software Engineering

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

Έτος:

2013

Γλώσσα:

german

Αρχείο:

PDF, 7.58 MB

0 / 5.0

german, 2013

46

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

Έτος:

1998

Γλώσσα:

german

Αρχείο:

PDF, 18.03 MB

0 / 0

german, 1998

47

Programming and Mathematical Method: International Summer School

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

Έτος:

1992

Γλώσσα:

english

Αρχείο:

DJVU, 3.91 MB

0 / 0

english, 1992

48

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

Έτος:

1982

Γλώσσα:

english

Αρχείο:

DJVU, 5.65 MB

0 / 0

english, 1982

49

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Donald Sannella (auth.), Dines Bjøner, Manfred Broy, Alexandre V. Zamulin (eds.)

Έτος:

2000

Γλώσσα:

english

Αρχείο:

PDF, 9.42 MB

0 / 0

english, 2000

50

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

CAAP'83: Trees in Algebra and Programming 8th Colloquium L'Aquila, March 9–11, 1983 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy, Martin Wirsing (auth.), Giorgio Ausiello, Marco Protasi (eds.)

Έτος:

1983

Γλώσσα:

english

Αρχείο:

PDF, 10.65 MB

0 / 0

english, 1983